Proof Theory
------------

<!--
SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.

SPDX-License-Identifier: CC0-1.0
-->

[(Up)](../../README.md#topics) | _See also: [Logic](../Logic/README.md#logic)_

- - - -


### Papers

A Paedagogic Example of Cut-Elimination (online @ [richardzach.org](https://richardzach.org/wp-content/uploads/2016/09/cutel.pdf)) ★ [💭](commentary/Chris%20Pressey.md#a-paedagogic-example-of-cut-elimination)


### Books

Basic Proof Theory (borrow @ [archive.org](https://archive.org/details/basicprooftheory0000troe))

_(in [Theory of Computation](../Theory%20of%20Computation/README.md#theory-of-computation))_ Theory of Deductive Systems and its Applications (borrow @ [archive.org](https://archive.org/details/TheoryofDe_00_Masl)) ★★★ [💭](commentary/Chris%20Pressey.md#theory-of-deductive-systems-and-its-applications)